(0 19 7)(1 18 3)(2 8 4)(5 12 10)(6 20 16)(9 15 14)(11 17 13)
ALLOWS (11/8)-SEQUENCE
1: (16 17 20)
(0 19 7)(1 18 3)(2 8 4)(5 12 10)(6 20 13 11 17)(9 15 14)(16)
2: (6 11 17)
(0 19 7)(1 18 3)(2 8 4)(5 12 10)(6)(9 15 14)(11 20 13)(16)(17)
3: (5 12 10)
(0 19 7)(1 18 3)(2 8 4)(5)(6)(9 15 14)(10)(11 20 13)(12)(16)(17)
4: (11 20 13)
(0 19 7)(1 18 3)(2 8 4)(5)(6)(9 15 14)(10)(11)(12)(13)(16)(17)(20)